Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
171	Overview Model Checking Approaches Algorithmic Verification Comp4151 Lecture 11-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:09 Uppaal Model Checker Finite-state machine Ansgar Clock Christianity Middle Ages Automata theory Model checkers Model checking
172	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
173	TUM ¨ R INFORMATIK INSTITUT FU Runtime verification revisited Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:37 Formal languages Computer science Applied mathematics Linear temporal logic Temporal logic Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Model theory Automata theory Theoretical computer science Models of computation
174	Methods of forecast verification Kiyotoshi Takahashi Climate Prediction Division Japan Meteorological Agency 1 Add to Reading List Source URL: ds.data.jma.go.jp Language: English - Date: 2011-08-09 01:18:13 Error Time series analysis Weather prediction Forecasting Forecast skill Root-mean-square deviation Mean squared error Brier score Errors and residuals in statistics Statistics Statistical forecasting Estimation theory
175	Runtime Verification Using a Temporal Description Logic Franz Baader,1 Andreas Bauer,2 and Marcel Lippmann1 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:37:58 Mathematical logic Formal languages Metalogic Linear temporal logic Temporal logic Interpretation Dynamical system Satisfiability Function Logic Model theory Mathematics
176	Certificate of Acceptance Manufacturer: PA05/XXXXX Add to Reading List Source URL: www.networkrail.co.uk Language: English Quality assurance Reliability engineering Network Rail Public key certificate Infrastructure Verification Systems theory Systems engineering Systems science Evaluation
177	Comparing LTL Semantics for Runtime Verification Andreas Bauer1 , Martin Leucker2 , and Christian Schallhart2 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-03-20 22:03:52 Metalogic Linear temporal logic Model theory Interpretation Modal logic Function Entailment Logic Temporal logic Philosophical logic
178	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic Computability theory Lambda calculus Theoretical computer science Mathematical proof Constructible universe Creative Commons Mathematics Mathematical logic Open content
179	PVS Prover Guide Version 2.4 • November 2001 N. Shankar S. Owre J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Proof theory Logical syntax Mathematical logic Nqthm First-order logic Proof assistant Prototype Verification System Natural deduction Theorem Logic Mathematics Automated theorem proving
180	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification I SAR Toby Murray, June Andronick, Gerwin Klein Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Open content Mathematical proofs Deduction Creative Commons Natural deduction NICTA Mathematical induction Mathematical logic Mathematics Logic

UPDATE